Ignore docs theme in travis