Admin plugin

Give Plugins the ability to have an admin option for user control. In the plugin.json file just add either "admin" : true or false
Merge pull request #614 from PureIntellect/master

Plugin Admin Control
Fix for issue #546

Detects if the key pressed is really CTRL not Alt Gr
Merge pull request #616 from Andr3as/master

Security Patch
Merge pull request #617 from franga2000/patch-1

Fix for issue #546
Update init.js

https://github.com/Codiad/Codiad/issues/621
Fix bug: when saving 2 or more patches with Save All, first task's patch was used in other tasks
Merge pull request #622 from nerodark/master

Fix bug: when saving 2 or more patches with Save All, first task's patch was used in other tasks
Fixes \#623