Update scripts.
Add new benchmarks for shortest path.
Fix some outdated code when using PROGRAM.
Use a bigger data type for holding reference counts of runtime objects.
Renamed ref_count to derivation_count and ref_count_plus to ref_count.
Resolve conflicts on merge with flavio