Insert raw commands into .smt2 file with #![raw_command()] attribute

Insert raw commands into .smt2 file with #![raw_command()] attribute #120