Post-execution delay and output formatting

-Added a post-execution delay option in the config file
-Cleaned up the output formatting for ciclops.cs.up.ac.za

Signed-off-by: Bennie Leonard <bennie.leonard@gmail.com>
Merge pull request #11 from benniel/misc

Post-execution delay and output formatting