Update main.js

Fixed bug in function saveSourceCode: path of the pvs specification file is undefined. The issue was the function was using project.path instead of project.projectPath