Upgrade PHP 7.0 to PHP 7.1 on shellserver userland

Summary:
Provides a new section for removed packages, so we can
remove PHP 7.0 conflicting with PHP 7.1.

Fixes T1126.

Test Plan: ssh eglide php -v

Reviewers: dereckson

Reviewed By: dereckson

Maniphest Tasks: T1126

Differential Revision: https://devcentral.nasqueron.org/D851