aghost contexts
minor
move delabelizer to prod; add test
move aghost compiler to prod; make it command line tool; add aghost spec; add smoke test
rewrite ared ghost and make related changes to aghost compiler