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.