Merge pull request #7447 from MoritzFago/master

change version of Xmind to 3.5.0, adjust url
Merge pull request #7454 from fharbe/deezer

Added Deezer (Beta) v0.9.9_4104
Upgrade Biicode to v1.11
Upgrade Mactracker.app to v7.4
Merge pull request #7457 from MikaelSmith/biicode-1.11

Upgrade Biicode to v1.11
Merge pull request #7458 from deizel/mactracker

Upgrade Mactracker.app to v7.4
Upgrade ax88179 driver to v2.3.0
Merge pull request #7460 from jeffrbauer/ax88179

Upgrade ax88179 driver to v2.3.0
Update flashlight to v0.71-alpha

Minor changes to support some major new plugin features.
Bug fixes and perfomance improvements, as always.
Merge pull request #7462 from jsfaint/master

Update flashlight to v0.71-alpha
Upgrade shadowsocksx to 2.4.1
Update AutoDMG to v1.5.2

AutoDMG v1.5.2 released 2014-11-13.
Merge pull request #7466 from sebnash/autodmg

Update AutoDMG to v1.5.2
Merge pull request #7465 from Ihavee/shadowsocksx

Upgrade shadowsocksx to 2.4.1
Upgrade PyCharm to 4.0
Upgrade PyCharm Community Edition to 4.0
Upgrade Futuniuniu.app to v2.16.354, and linking the app with official Chinese name
Added Application-Support folder to zap method for Deezer
Updated CoqIDE to 8.4pl5; Changed protocol to https
Merge pull request #7472 from fharbe/coqide

Updated CoqIDE to 8.4pl5; Changed protocol to https