Merge pull request #5462 from mariusbutuc/master

Update Vagrant Manager to v1.5.5
Update Intellij Idea Ultimate to 13.1.4
Make Vagrant Manager easier to update
Merge pull request #5463 from roddet/intellij-idea

Update Intellij Idea Ultimate to 13.1.4
Merge pull request #5464 from NanoXD/master

Make Vagrant Manager easier to update
Fix IntellijIdea to use double quotes
Adds a recipe for the sofortbild tethering app
update aerofs to 0.8.58

closes #5466
Merge pull request #5468 from languitar/sofortbild

Adds a recipe for the sofortbild tethering app
Merge pull request #5469 from rolandwalker/aero_8_58

update aerofs to 0.8.58