A small Python script for gathering values from a JSON file, useful in combination with xargs for runtime config