docs/conf.py: Configure the 'alabaster' theme

docs/conf.py: Configure the 'alabaster' theme

Add the 'navigation' bar to the sidebar, which for some
reason is not enabled by default. Remove 'relations', which
is effectively disabled anyway and isn't useful for us.

This requires that we mandate having at least Sphinx 1.3,
where the theme was added.

Signed-off-by: Peter Maydell <[email protected]>
Reviewed-by: Alex Bennée <[email protected]>
Acked-by: Aleksandar Markovic <[email protected]>
Message-id: 20190305172139[email protected]
Message-id: 20190228145624[email protected]