Respect -Dpartest.scalac_opts when running the test suite through ANT

Used to enable `-Xcheckinit` (now also `-Ybackend:GenBCode`) when
compiling tests in the respective jenkins builds. This is currently
broken, as you can see in [recent build logs] [1], `-Xcheckinit` is
missing:

    [partest] Scalac options are:  -optimise

Adds `.flags` files for macro tests (correct range positions not
enforced) and for tests failing due to SI-8560 or SI-8562.

[1]: https://scala-webapps.epfl.ch/jenkins/view/nightlies/job/scala-nightly-checkinit/2058/consoleFull
Merge pull request #3718 from lrytz/partestArgs

Respect -Dpartest.scalac_opts when running the test suite through ANT
SI-8325 Spec accepts infix type *

Remove the clause in 3.2.8 that reserves `*` as a postfix
modifier thing.  For emphasis, the language that an infix
type name can be an arbitrary identifier is retained, sans buts.