Generate target-platform files with version appended to them

* Having a teiid-designer-${td.tpc.version}.target allows multiple targets
  to be generated locally and means that TPs in eclipse can be switched
  rather than having to be re-downloaded, reducing the effort in changing
  branches and TPs
Upgrading to latest JBT 4.2.0.Beta1b
Upgrade snapshot to 9.0.1
TEIIDDES-2352: Save the jdbc password token to xml

* The jdbc password token is not being saved to the xml file hence the
  password is not found and reverting to the default upon reloading

* Completes the cycle by saving the jdbc password token in the same manner
  as the admin password