Add missing controller module
Remove debugging statements
evolve_to_time: fix syntax error + implicit func

The function check_CFL is declared in a module, so it needs to be imported explicitly.
Merge pull request #5 from certik/syntax_fix

Syntax fix