hackage-server memory requirements