doc,rustdoc: improvements

- switch pandoc to HTML5, add tutorial PDF gen.
- cleanup and refactor CSS, expand tutorial/manual CSS +some Bootstrap elements, cleanup unused doc/lib.css

you can see it here in action: http://adrientetar.legtux.org/cached/rust-doc/rust.html
- minor rustdoc cleanups

@alexcrichton