* Split the build in the pom.xml to use the -PWith-IDE convention as in
  other Overture projects
* Set a custom “script” parameter in the Travis config file