No longer using dotdeb php repository
Merge pull request #13 from AmericanCouncils/ubuntu-trusty

No longer using dotdeb php repository