Adam Williamson hired by Red Hat