Strike out lines in PDF, read input from JSON

The JSON file holds all the coordinates, which will be read and
struck out.