Develop

* Added the driver of Tektronix TDS1012. It is not a big improvement compared to the TDS2024 but it uses the serial driver and it was checked to work under Linux. 

* Corrected a minor mistake in the guides

* Corrected a minor mistake in TDS2024 while fetching a curve

* Corrected minor mistakes in documentation.