Full propagation

Program takes file as user input
Full propagation now takes place
Program counts clauses and variables after propagation and updates
problem line
Original comments printed to file
New comments stating when propagation took place printed to file
If no file is entered for input a message appears stating a file is
needed