Improve handling of special characters in filenames#155

cmaglie merged 3 commits intoarduino:masterarduino/arduino-builder:masterfrom

matthijskooijman:filename-quotingmatthijskooijman/arduino-builder:filename-quotingCopy head branch name to clipboard