GPII-288: Log settings for current token(s) on Linux

This is part of the Linux scripts for writing the local settings to a log file. The required JavaScript part for Node.js is in a pull request for the pilots2 branch (a branch of the universal repo): https://github.com/GPII/universal/pull/239. The required Python script is in pull request https://github.com/GPII/linux/pull/47. (It's also my first bash script. Show no mercy :-P )