how do i get the pocketmine phar? I tried looking at installations and jeakens it just says to download php. what should i do?