Resync with current beta of official Psychtoolbox-3 repo. Initial 3.0.12 release

Random acts of kindness.