Rearrangements on the webpage's docs tab.

Very conservative. I decided for "Compiler user guide".