Rename CheckErlang.py -> ErlangCheck.py