Add mediawiki::packages::php5

When it's safe to remove PHP5 packages from the Trusty app servers, we'll
include this class conditionally, based on the distro version.

Change-Id: Ie9cb163d96520de637b9cd94a8f7a42be2219e08
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>