Plonk : cleanings

MR !144 (merged) left some unclean code. This MR :

• uses more the fact that domain is stored in evaluations map
• centralizes f_map’s evaluations computations in Main protocol
• cleans Plookup