Added sourcefile and sourceline annotations.
More concise source location annotation.
* Replaced {:sourcefile X} and {:sourceline Y} with {:sourceloc X, Y, Z}.
* Added Stmt::skip, which creates an "assume true" statement.
Adding {:sourceloc} annotation to branch blocks.
Merge branch 'master' into memmod

Conflicts:
	lib/smack/SmackInstGenerator.cpp