Fix typos, formatting and irrelevant information.
Update agenda and revent how-tos' titles to be more informative.
Update the documentation and build system for producing documentation for WA3 with support for automatic building on readthedocs. Note: This is currently a WIP.