Shorter name of the binary

[artem-zinnatullin]

mainframer is really long thing to type, coworkers of mine usually alias it to m, I think mf can be a good option in the middle, similarly to how ripgrep is rg

@ming13 wdyt?

[arturdryomov]

mf is awesome, unique and we can have branded socks without making them!