added JSON library -- forgot at first

whoops -- we use this library so as to not assume JSON in PHP