Moved the new code about Picard iterations into Picard.v