add jenkins installation and readthedocs theme