I am in the process of writing a Gentoo ebuild. I'm assuming it is GPL 2 based on the [arduino FAQ](https://www.arduino.cc/en/Main/FAQ)? Thanks.