prompt at initial environment setup time whether to build doxygen docs or not
for existing pybombs installs please add "builddocs=ON" or "builddocs=OFF" to your config.dat