Fixed gcc compiler warning
Added freduce -stop
Added freduce -dump
Use log_abort() and log_assert() in BTOR backend
Bugfix in ilang frontend autoidx recovery
Some minor code cleanups in freduce command
Fixed bug in freduce command