Solve issues with various functions of OpamState that were not
behaving as expected by me with respect to pinned packages...