gpio-counter.py: GPIO-pin and log file as parameter
Merge branch 'master' of https://github.com/sanderjo/GPIO-counter

merge