Ceylondoc: syntax highlighter brushes #1374
Ceylondoc: shortcuts keys and common browser keyboard actions #1373
Removed mvn: test now that we removed support for it (its the same as aether: now)
Minor cleanup