Flavor info miner: ignore flavors with name starting with "deprecated."

Please change flavor info miner for CI in such a way that it will not list flavors whose names start with the string "deprecated.".