Add automatic switch to custom compilation mode

Automatic switch to custom compilation if libyices cannot be linked into a shared library
Remove forced custom compilation for Yices with static GMP in .travis.yml (it shall be automatic now)
Change OYFLAGS to be configure flags in .travis.yml