A cleanup, and eventually re-implementation of tuxkart