support for arm soft and hard float targets

Following the naming style of debian:
 * the software floatpoint build is named "armel",
 * the hardware floatpoint build is named "armhf".

This results in two new maven profiles
 * with-linux-armel
 * with-linux-armhf
which enable the build of the respective library.