Adding stuff from dedinsky-ilab-course repository