ifdef for with_plugins now only in DkNoMacs.cpp
Merge branch 'developer' of https://github.com/nomacs/nomacs into developer