Re-added and deprecated PlayInternalKeys.playMonitoredFiles

This ensures binary compatibility with anything (such as the play war
plugin) that extends PlayInternalKeys.