rename cli parameter `file` to `input`

It's really minor but I think --input is a better name than --file as cli parameter.