Add history to models pulls and pushes

[WilliamKarolDiCioccio]

Adding history to models pulls and pushes would make experience less frustrating if the user finds himself interacting with different models a lot. Moreover if in the future we'll have a custom models metadata map we might generate completions for models names