Remove unknown and "bad" licensed server stuff (bug #42529).
* devel/*: all this stuff was here for historic purposes and was ignored by
pkg during installation. Its license is questionable, no one knows what to
do with it, or even make it work. Files removed.