rm HI build option

Thomas Mc Cauleyrequested to merge
rm-HI-flag into master

  • flag is not needed for HI-only releases

  • closes #14 (closed)

Merge request reports