Bump php5[4-6]-augmentedtypes version and make config configurable

This commit bumps the version of php5x-augmentedtypes from v0.6.2
to v0.6.5 and adds a '--without-default-enforcement' option that
prevents the config file from containing an ini setting to enforce
all PHPDoc annotations by default.