Various fixes:

* Add -check-init-ta as a shorter alias for -check-init-throw-analysis.
* Add 'auto' option to -check-init-ta, which tries to detect automatically
  whether to use 'dalvik' or 'pedantic' throw-analysis. This is now the
  default value for -check-init-ta.
* Update files generated by 'ant options'