clean-up: use No Spy and No Trace predicate flags.
fix example install
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
fix readline configuration: if readline not found autoconf should still
go on.
patch by J santos to make ORP work again.
fix warnings
improve docs and method names
fix sysroot
fix dynamic lib naming
fix warnings
fix dependency on gmp path
integrate maildrop config in main config
fix duplicated system predicate  + android related cleanups
android compilation script
bootstrap android script
fixes for Android compilation
swig fixes for Android compatibility
Start handling Prolog exceptions
support for doxygen.