Isn’t arduino completely open source including its PCB, firmware, IDE, etc, even accessible for commercial use?