Install PDT 3.1.1 Nightly

PDT 3.1 was not released in spite of PHP Development Tools 3.1 Release Review. Since PDT in Juno repository is same as old one in Indigo repository, you need to install PDT from nightly update site. It is not a formal update site, so following description will become outdated anytime in future. Be carefully.