more travis testing, push docs