Add Travis-CI, Update docs/_themes config