Rework mawk package so that it installs to /opt/mawk

This will enable it to be installed alongside the core Ubuntu mawk package.