introtools: An intro to some basic (CS) tools

The course material:

• terminal introduces the terminal (bash).
• collaboration introduces tmate and other remote tools and git.
• latex introduces report writing using LaTeX.