some osek fixes
HTML output update
volatile fixed
may lock-sets
thread ids -- pthread_create location+start function
loop separators
moved base sigs to Analyses; better sig for glob. solvers
magic
glitter
do you even lift?
whimsy
solver transformers
./make.sh it so
Merge remote-tracking branch 'upstream/master'

Conflicts:
	.gitignore
	src/maingoblint.ml
	src/util/htmldump.ml