Added "check violation source" button to the violations, which triggers
the code viewer.
Merge branch 'develop' of https://github.com/timohu/HUSACCT.git into develop