remove obsolete options, add profiler-related files for dxygen generation
remove obsolete options, add profiler-related files for dxygen generation

Alexpux/Coin3D,Alexpux/Coin3D,Alexpux/Coin3D,Alexpux/Coin3D