Make OVERWRITE=1 re-write *.mine files every time

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>
Merge pull request #14 from afrojer/for-nico

Make OVERWRITE=1 re-write *.mine files every time
Merge remote-tracking branch 'nico/master'