Optimizations + Beautifications

- add a lens/traversal for all dependencies of the cabal file
- optimize lookup of installed packages by using a HashMap
- minor code beautifications in Update module