Added an updated script for timing commands via runbdd; this is for running tests such as n-queens, n-bit addition, etc.