Updates to my solver system

Lots of hacking lately, mostly in the surrounding glue scripts. I just finished writing the scripts that will allow easy running of a client that downloads precompiled data and runs it, in a fashion similar to SETI@Home or other @Home-style projects. All you need is Python and one binary. I just need to set up a server with all the precompiled data on it.

Also, someone else taking an interest in my code and trying a few things and finding shortcomings turns out to be a great motivator. That and a confluence with some other things that made want to hack on this have made for a very productive couple weeks.