Removing this file because it's nonfree.

 The terms aren't clear, so I'm just going to get rid of this. Sad, but
 meh.
don't test the halting problem anymore.
add the start of hacking rules