add micro gasnet benchmark