smartgithg: update to 6.0.4
Readme: update install instructions
Merge pull request #5454 from eugenesan/syntevo

smartgithg: update to 6.0.4
Update Vagrant Manager to v1.5.5

  from version 1.5.2
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
Update Postgres.app to v9.3.4.2

  from version 9.3.4.1
Update node-webkit to 0.10.0

`link` stanza has been removed as it does not serve normal usage of
node-webkit.

node-webkit is a runtime targeted by application developers.
Usage of node-webkit usually takes one of two forms:
- launching the binary with development code as argument, either by
  CLI or drag-and-drop.
- bundling a copy of the binary with release code, for packaging and
  distribution.

Neither usage is aided by a symlink; a known binary location, which
Cask provides, is sufficient.

Addendum: `version` value is reused in `url` stanza to facilitate
future updates.
Merge pull request #5470 from ndr-qef/node-webkit

Update node-webkit to 0.10.0 and remove `link` stanza
Merge pull request #5472 from vinkla/fix-5471

Update Postgres.app to v9.3.4.2
graphviz 2.36.0: New formula
Merge pull request #5474 from vitorgalvao/fix-5473

graphviz 2.36.0: New formula