planetfilter 0.7.4 was released

Written for PlanetFilter by François Marier on 2017-08-05

This minor bugfix release is more lenient with locked down environments where planetfilter is not allowed to delete the files it generates.