Small tasks and cosmetics.
Merge branch 'master' of https://github.com/YaronK/REDB

Conflicts:
	REDBServer/redb_app/heuristics.py