Download mplint release instead of recompiling every time
Saves 1min10s by not compiling and another 15s by moving it together with linters.
Part of #71 updates.
Saves 1min10s by not compiling and another 15s by moving it together with linters.
Part of #71 updates.