Updates to file output

Methodised the counting of variables
Program outputs actual variable and clause count
Original problem line printed as comment to file
Propagators now printed to output file