Import existing user documentation from the wiki.

Converted from MediaWiki format to RST using pandoc, which is not clean but
does a good enough job at recovering the basic formatting.