Removing obsolete buildall.sh (this is done by Makefile)
Merge branch 'master' into 19-bcom-in-c
Merge branch '19-bcom-in-c' into 20-standalone
Merge branch '20-standalone' into 21-bool