Install php5-json all the time

PHP without JSON is madness

Change-Id: I4e1154d1c61191eacf11844a450f8a03123aafdf