Update documentation; use sphinx-bootstrap-theme