An import of the lojban CVS repositories to git