WyIL: Added enable flag for BackPropagation #416.
The BackPropagation phase did not have an enable flag, which seems
unsusual compared with other WyIL transforms.  Therefore, I've added
one!
Updated .gitignore to include smt2 files.
The smt2 files are generated by the SmtVerificationCheck phase, and
are only temporary files.