new 'wolframe-dev' on Debian/Ubuntu, 'wolframe' now really contains
the things to run the system and not header files, development libraries
and doxygen documentation