Use php 5.6 and clean up unused repos