Renaming sub-repos to a consistent scheme

I really hate the inconsistent repo naming, so I've renamed the forked
repos to something a bit more manageable. Still need to update the 1st
graphing repo; will do that when grading closes.