Update the user docs

Update some screenshots
Use the HiSPARC Sphinx style
Add info that 64-bit works
Update some other parts of the installation doc
Update doc title and index page

Apply HiSPARC style to doc-dev