[misc] Some error handling in package manager.

Not really complete yet as it does not even report an error to the user
if `coq-pkgs/coq.json` is missing.
But it's a step in the right direction.