JSON output from scanner

The future rumbler API will generate the scanning result in a JSON format. Update the scanner to generate JSON files, so we can quickly adapt to the rumbler API when it becomes available.

The rumbler presentation slides in HUF'19