Add official material from Prof Sestini and a tmux script to create the development environment.