Better checking of -c option in zafl.sh.  updates to ceb.map and zax.map to support Zuntracer style patching of critical edge jumps

zafl updates to instrument only loop headers.  refactored slightly to deal with critical edge breaker and loop header cfg changes outside of zax_base class because zax_base constructor was creating a cfg for use later, and these xforms where modifying the cfg.  consider: move CEB and Zedge to their own xform

Update with proper SBIR data rights headers

See merge request allnp/zafl_umbrella!8

Zafl eightqueens test

See merge request allnp/zafl_umbrella!7