First step towards a better handling of root packages (#470)

So now:

    'opam install <pkg>'

add <pkg> to the list of root packages even if <pkg> is already installed.