Starting Detect changes for CodeContracts integration

Starting to plan the new stages for the tool. We didn't start to
implement the stages for Code Contracts though.
Some updates on the main GUI of the tool.
Detect updates for CodeSpec Support #01

Current changes are more related for creating methods for separating
process for JML and CodeSpec detection task.