Add Sage source
Add the tests
Add the misc support scripts
Add refute and bad-programs
Add the last few bits