Merge pull request #1 from OKullmann/master

Update after meeting
Replaced watched with propagated
Program now stores file in a vector
Program sorts between comments and clauses, stores each in a separate vector
Rearranged declarations
Delete UCP
Added else (Line 10)to ensure program only runs if input file
Comments now printed directly to output file
Adds a line declaring file has been propagated
Fixed grammar
Program identifies singe variable clauses
Program iterates through the whole vector
Program isolates variable for propagation
Implements remove_if to remove clauses from vector (not fully implemented)
Added to-do's as reminder
Make file for program
Added current program status as terminal outputs
For loop starts from beginning of file after a single unit clause is found
Moved remove clause line to outside of if loop (Prototype two)
Fixed makefile (replaced space on line 2 with tab)