Switch to the SMTSERIAL backend as the FFI one is not currently reliable
Merge branch 'ghc7' of github.com:pepeiborra/narradar into ghc7