Fixes incorrect php-devel name for 7.0 debian/ubuntu
Fixes incorrect php-devel name for 7.0 debian/ubuntu

mattclegg/puphpet,thedeedawg/puphpet,thedeedawg/puphpet,thedeedawg/puphpet,ikari7789/puphpet,artetecha/puphpet,artetecha/puphpet,thedeedawg/puphpet,artetecha/puphpet,mattclegg/puphpet,thedeedawg/puphpet,ikari7789/puphpet,ikari7789/puphpet,ikari7789/puphpet,mattclegg/puphpet,artetecha/puphpet,mattclegg/puphpet,mattclegg/puphpet,artetecha/puphpet,ikari7789/puphpet