Update the ignores cache instead of resetting it

Fixes #17
Pretty print when writing JSON files if possible

PHP introduced the `JSON_PRETTY_PRINT` option in 5.4.0. We now use it
when available when writing JSON files.

Fixes #11
Travis CI: run agains PHP 5.6

Fixes #16