EOL notification – Debian 7, Ubuntu 12.04

Mono packages will no longer be built for these ancient distribution releases, starting from when we add Ubuntu 18.04 to the build matrix (likely early to mid April 2018). Unless someone with a fat wallet screams, and throws a bunch of money at Azure, anyway.