reimport mig5's dev-platform_management cleanly

this branch was originally forked off an old git repository from when we
were still on CVS. it was never rebased properly off the new repository
and therefore had a complete duplicate of the history, so I had to
delete the branch and reimported it as a single patch since it's not so
big.