Ceylondoc #1091 unify file prefix from `class_` and `interface_` to
`type_`
Ceylondoc #1094 use more abbreviations in ceylon.language module
Ceylondoc #1097 parameter names should be in monospaced font
Ceylondoc #1099 use term initializer instead of constructor
Ceylondoc #1098 favicon.ico
Ceylondoc #1096 add expand/collapse all
Ceylondoc fix keybord shortcuts
Ceylondoc #1091 simplify file names
fix due api change in ceylon-spec
Made sure the launcher files are compiled with Java 5 compatibility