Adding ability to switch PHP versions using the dotdeb repositories