Add ./arenaapi to HTML proofer task