Several additions.
* Added trombone.rb (non-serializability to reachability reduction) script.
* Main procedure(s) now specified with {:entrypoint} attribute.
* Various cleaning in the sequentializations.
* Better printing of block labels.
* including debug flag -g in clang compilation for source location annotation.