flint: Fixes various problems

Same as !5898 (merged) bot for the master branch.

This PR contains various fixes for Flint

Plus a new controller to simplify testing scans with custom master.

Related to #4095 (closed) #4094 (closed) #4091 (closed) #4090 (closed)

Maybe fixes #4089 (closed)