add gmpbench scripts for Android