Merge pull request #319 from unknownunknown1/master

chore: add tools to RAB

Author: unknownunknown1

contracts/standard/arbitration/AppealableArbitrator.sol

@@ -5,6 +5,7 @@
 *  @auditors: []
 *  @bounties: []
 *  @deployments: []
+*  @tools: [MythX]
 */
 
 pragma solidity ^0.4.24;

contracts/standard/arbitration/CentralizedArbitrator.sol

@@ -4,6 +4,7 @@
  *  @auditors: []
  *  @bounties: []
  *  @deployments: []
+ *  @tools: [MythX]
  */
 
 pragma solidity ^0.4.15;

contracts/standard/arbitration/MultipleArbitrableTokenTransaction.sol

@@ -4,6 +4,7 @@
  *  @auditors: []
  *  @bounties: []
  *  @deployments: []
+ *  @tools: [MythX]
  */
 
 /** @title Multiple Arbitrable ERC20 Token Transaction

contracts/standard/arbitration/MultipleArbitrableTransaction.sol

@@ -4,6 +4,7 @@
  *  @auditors: []
  *  @bounties: []
  *  @deployments: []
+ *  @tools: [MythX]
  */
 
 pragma solidity ^0.4.24;

contracts/standard/permission/ArbitrableTokenList.sol

@@ -4,6 +4,7 @@
  *  @auditors: []
  *  @bounties: []
  *  @deployments: []
+ *  @tools: [MythX]
  */
 /* solium-disable max-len*/
 pragma solidity ^0.4.24;

contracts/standard/proxy/RealitioArbitratorProxy.sol

@@ -4,6 +4,7 @@
  *  @auditors: []
  *  @bounties: []
  *  @deployments: []
+ *  @tools: [MythX]
  */
 
 pragma solidity ^0.4.24;