[ rename ] the src/ directories are useless
[ lib ] small agda libs used e.g. in lps

* These were not versioned despite being vital for some of the
  projects in potpourri. Time to fix that problem.