Bugfix in ffc backend.
Enable use of factorization algorithm in compiler.

Also made some parameters configurable, but still need to
get proper parameter passing in place instead of this hack.
Bugfixes in factorization.
Bugfix in graph rebuilding after factorization.