Documentation; Build scripts

* Update stylesheet to match main site (should incorporate back into site)
* Prettifying script can now do all files in dir at once
* Sort out "jump descriptions" and other fourth-level headings
* Remove formatting HRs from HTML docs
* Note that manual build process needs to be made cross-platform
* Include generated manuals in release (only works on Mac ATM)
* Add error-handling for non-implemented platforms in build scripts
Launcher; Build clarity

* Add many shortcuts to launcher menu
* Renamed agrip-dev to mod-static for clarity
* Clean up Launcher code (removed some bits un-needed)
* Add --ask to rcon script (so it can be invoked by launcher)