Ignore platform.local.txt

This is a file that can be used to tweak platform.txt, once
https://github.com/arduino/Arduino/pull/1985 is merged.