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

Change-Id: I973c67448d4b34c4521d0abd23c999397e88cf67
3 files changed
tree: e1e9e6e570e67570ed631ca45c6150b22666caa3
  1. .gitignore
  2. asterix-bad/
  3. asterix-opt-bom/
  4. pom.xml