Sorely Needed Namechange

Now, this is called the Panini Project (I'll see if the name & description can
be changed on github, I don't know. If not, I might close it and re-up it.
In any case, now there is also somewhat better introductory documentation in
the doc/ directory.