Use dist: precise for PHP 5.3, dist: trusty for everything else#11

gitlost merged 1 commit intomasterwp-cli/export-command:masterfrom

use-trustywp-cli/export-command:use-trustyCopy head branch name to clipboard