Merge pull request #215 from Alexpux/develop

Update ISL to 0.12
Refactor gcc-post to support builds with Ada and ObjC