fix https://github.com/ethereum/remix-project/issues/1132

fix https://github.com/ethereum/remix-project/issues/976

fix https://github.com/ethereum/remix-project/issues/773

fix https://github.com/ethereum/remix-project/issues/459

Fixmanagerdeact

rm console

to reproduce the issue:
```
contract C {
  error E();
  function f() public { revert E(); }
}
```

Merge branch 'refactoring-static-analyser' of https://github.com/ethereum/remix-project into refactoring-static-analyser