Rename current_time to current_virtual_time
Revert back to old timing behavior for now.
Merge pull request #159 from sunyc/master

Changes for alpha7.4