Ubuntu env: add php5-json to list of packages