Change confusing $value parameter in filter_form()

While reviewing #11218: Allow default text formats per role, and integrate text format permissions, @dropcube pointed out that the $value parameter to filter_form() is very confusingly named, since it actually refers to a text format ID.

We should change it to something more clear.