Merge reduce in get_feeds_aux
Add the Makefile rule: run.opt, that runs the server in native instead of bytecode
Put back the old dinosaure's version of the db requests with all issues fixed
Optimize Db_feed.get_tree_feeds