added monodis tool doc
renamed /docs/compiling/ to /docs/compiling-mono/ to avoid confusion with compiling user programs