doc: remove Ubuntu 12.10

Ubuntu 12.10 reaches EOL at April, 2014
See https://wiki.ubuntu.com/Releases