Renaming some repos to make Travis more happy
i missed a picl
third time's the charm. bad copy/paste of repo names on my part.
Merge pull request #85 from pdehaan/renamerepo_travis

Renaming some repos to make Travis more happy