Rename --generalised-nat-hack to --opt-nat-likes.
Rename --generalised-nat-hack to --opt-nat-likes.

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev