Merged changes to smack-svcomp from the svcomp2015 branch.
Added a command line options for passing arguments to the backend verifier.
Mentioning Corral/Duality in README.
Merge branch 'develop' into svcomp2015