Added again the 5.3 codeception and created a script to distinguish between PHP versions