New Zealand (South Island)
Seth Kenlon is a UNIX geek, free culture advocate, independent multimedia artist, and D&D nerd. He has worked in the film and computing industry, often at the same time. He is one of the maintainers of the Slackware-based multimedia production project Slackermedia.
Authored Comments
The tool you recommend isn't open source, so I wouldn't recommend or use it. Also, I'm not a manager but I like to think that as long as one hires responsible and smart people, their activities at home speaks for itself,, with no need for monitoring.
To get trained on the Pi yourself, you might start here: https://opensource.com/article/16/12/getting-started-raspberry-pi
Once you've got your Pi up and running, you're running Linux so nearly any article here on opensource.com will teach you something. For topics geared at the Pi, though, you can check out this list: https://opensource.com/tags/raspberry-pi
As for teaching it, it depends on what you want to teach your students. If you want to teach them how to program, there are books on the subject: https://www.apress.com/gp/book/9781484241691 (that's by me)
and articles: https://opensource.com/article/17/10/python-101
And a whole lot of information in general.