A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android development