Copyright (c) 2015 by Patrick Galbraith, Michiel Beijen and 
all other contributors.