update to Ubuntu 18.10

Here’s a useful url with destructions of how to upgarde to Ubuntu 18.10: linuxbabe

Important bit: <code>do-release-upgrade</code>