Added script for easily changing the standard PHP version (system-wide)