seoul: enable -Wall and fix warnings

Issue #1262
seoul: use pae branch of seoul

Fixes #1262