Modified proof importing to properly set up a problem using a 'Problem: ' line; also no longer imports unicode proofs
Some more fixes to proof importing