installing config-files correctly under catkin

Generated config-files are now ending up in devel/include under catkin.
This mostly matches the expectations of the include paths.