Coordinated change for https://asterix-gerrit.ics.uci.edu/#/c/2533/

Change-Id: I0fbc7ee17540b137353a14d0fbac575c36df30cd
10 files changed
tree: 326f8518af7cb56592b14c83000931be7eb8e79a
  1. .gitignore
  2. asterix-bad/
  3. asterix-opt-bom/
  4. pom.xml