Added property matching example for metaprogramming
Updated metaprogramming examples for brace-parsing
Added count-based barrier rewrite, and inter-trigger profiling rewrite. Added braces around control annotation defintions, and support for multi-part identifier splicing in metaprogramming. Rewrote amplab-q1 for more concise control specification.
Merge branch 'master' of github.com:DaMSL/K3-Core