Implement machine-version for arm-linux.

Use the "Processor" field of /proc/cpuinfo.