Update travis to build theme manager