Generic fixpoint solver for flow graphs.

@author Anders Møller <amoeller@cs.au.dk>