Fixed action message for recompiled packages
Closes #692
Merge pull request #707 from AltGr/rm-depopts-fix

Rm depopts fix
Fixed stack overflow on malformed opam files (closes #696)
Merge pull request #708 from AltGr/fix-696

Fixed stack overflow on malformed opam files (closes #696)
Finding packages case-insensitively for common commands
(unless packages with the same name up to capitalization exist)
closes #705