Is there progress planned on this scanner? Last commit was half a year ago... Or is development of solidity-scanner moved to another repo?