Implemented changes to the frontend for getting a correct filename for the exported specification.
Implemented changes to the frontend for getting a correct filename for the exported specification.

MattiNieminen/clj-formal-specifications-app,MattiNieminen/clj-formal-specifications-app