Implemented returning of refs created with execute-init from backend to frontend.
Implemented returning of refs created with execute-init from backend to frontend.

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