use sphinx to generate static html docs