Line thicknesses added

Since the last online update in July around a dozen minor fixes have been made to Debrief 2002, but in the last week we've added a significant new feature: line thickness. The updated tutorial at http://www.debrief.info/tutorial/html/tutorial_layer_mgr.htm gives more advice on this.