finished line number and nextlinenumber method

wrote tests for nextlinenumber in prooftest.java