Remove Ubuntu Linux + Nexus-7 + ARM support for now.

At a total registered user count of 2, this hasn't
proven tremendeously popular during the 1.5 years
of its existence, so we cancel support for now.

This may or may not come back in a new incarnation,
depending on public demand.

-> All Octave on ARM mex files removed.