Merge pull request #397 from keyvan-m-sadeghi/master

Interval Algebra, new formulas, revision 2
Merge pull request #398 from keyvan-m-sadeghi/master

More accurate integral handling in python/utility/geometric.py
Remove libocweb.so from opencog.conf because this module no longer exists, as of #346
Merge pull request #399 from cosmoharrigan/libocweb

Remove libocweb.so from opencog.conf because this module no longer exists as of #346
Merge branch 'master' of github.com:opencog/opencog