iThemes, WordPress, and the GPL