JBoss founder Marc Fleury quits Red Hat