misc updates
modifications to run with pypy
also changes to evaluation code
fixed bound variables proposals, fixed FOL example
2014 Jan 10
fixed proposal bits
proposal fixes
fix bounded mem iter error
misc fixes
small fixes
new stochastic optimize; fix evaluation
small fixes
added missing inference libraries
Merge branch 'master' of https://github.com/piantado/LOTlib.git