Added QUAIL as submodule.
More things.