Introducing Alloy's Installation Manager