Implement an update mechanism for the local ext_emconf.php

This is necessary to make sure a repeated release can reliably auto-determine the release version.