v0.2.3

Added

• make-with (@edwinb)
• make-case (@edwinb)
• make-lemma (@edwinb)

Fixed

• Uncaught Error: Can't save buffer with no file path #47
• save files before executing a command (@edwinb)
• The Idris Errors panel should tell me if typechecking went successfully #43 (@edwinb)