Add use_remi_repo option to allow of downloading php 5.5