update to deal with obsoletes better

when looking for a package "foo" to install/update, we have to look
not just for a package named "foo", but also any package that
obsoletes+provides "foo".

So redo the algorithm to satisfy *all* installs/removes from the
property list, so now we don't need to walk the package list at all.

update to match DEPSOLVE.txt

unfortunately not quite right; it can't figure out that "git-core" updates
to "git"

when importing, create fake file PROVIDES to match file REQUIRES

update DEPSOLVE.txt after talking with Kristian

In particular, we're going to do the fake PROVIDES for files thing now.

depsolving plan

Fix both sides of provide/conflict handling to work the same way

thus fixing conflicts-on-properties-rather-than-names, thus fixing the
last remaining unpassed test

kill warning

another checkpoint...

there are a bunch of problems with doing things this way, and file
provide removals are currently unhandled

fix version parsing to not sometimes use octal :)

Use the razor transaction logic when installing rpms.