Tapaal 2.4 - a timed Petri net modeler/verifier

TAPAAL is a tool for modelling, simulation and verification of
Timed-Arc Petri nets, developed at Department of Computer Science at
AALborg University in Denmark. Timed-Arc Petri Net (TAPN) is a time
extension of the classical Petri net model (a commonly used graphical
model of distributed computations introduced by Carl Adam Petri in his
disseration in 1962). The time extension we consider allows for
explicit treatment of real-time, which is associated with the tokens in
the net (each tokens has its own age) and arcs from places to
transitions are labelled by time intervals that restrict the age of
tokens that can be used in order to fire the respective transition. In
TAPAAL tool a furter extension of this model with age invariants with
transport arcs (which are more expressive than for example previously
considered read-arcs) and with inhibitor arcs is implemented.
Merge pull request #1034 from nlohmann/tapaal

Tapaal 2.4 - a timed Petri net modeler/verifier
removed instashare, since it's now an AppStore-only app
Added Linkinus IRC client

This adds Concieted Software's much used Linkinus IRC client
Merge pull request #1040 from nickpack/linkinus

Added Linkinus IRC client
Airdisplay - iOS display mirroring etc

This adds support for avatron software AirDisplay

Had to link the uninstaller to their uninstall binary, which works but
it does cause a GUI prompt

Updated uninstall - Thanks @NanoXD
Merge pull request #1041 from nickpack/airdisplay

Airdisplay - iOS display mirroring etc
Update sabnzbd to 0.7.16
Merge pull request #1044 from brentley/master

Update sabnzbd to 0.7.16
Add 0xed to homebrew cask.

0xED is a native OS X hex editor based on the Cocoa framework.
FS-UAE 2.2.3

FS-UAE is an Amiga emulator for Windows, Linux and Mac OS X based on UAE/WinUAE, with a focus on emulating games.
Updated link to also include 'FS-UAE Launcher.app'
Merge pull request #1046 from tditlu/fs-uae

FS-UAE 2.2.3
Merge pull request #1045 from vinkla/zero-xed

Add 0xED cask.
Vagrant 1.3.2
Merge pull request #1047 from timsutton/vagrant-1.3.2

Vagrant 1.3.2
Correct FirefoxAurora SHA1

Thanks @nightire for pointing it out
Vagrant 1.3.2 hotfix
Merge pull request #1048 from timsutton/vagrant-1.3.2-hotfix

Vagrant 1.3.2 hotfix - Update SHA1