jordi/ubuntu repository overview

This is plain Ubuntu with:

• added ping package
• improved latency of apt-get/apt commands behind proxies (see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810796⁠)