Merge pull request #14 from Lnc/master

Remove useless check for GMP precision when converting osl relation
Changed osl submodule's link from repo.or.cz to github.com
Updated osl submodule
Changed to work with statement extensions
Merge pull request #15 from tajkhan/statement_extension

Support for statement extensions