1. Fixed a few small bugs in examples/notany test.py
2. Added test to engine.prove_n to raise TypeError if fixed_args is a string.
3. Fixed testpyke to not complain that compiler_bc.py hasn't been compiled
just because Krb_filename is different.
4. Fixed editing of paths in testexample and testTest scripts to remove ./