Added Main form validation. Checks weather a trace is chosen before doing the modelling as well as checks weather the chosen config files are valid
OS-X-support and master merged into the OS-X-support branch