Set different inline_height for up key and ctrl+r

I am more than happy to create a PR, but I think it makes sense to have the “new” settings in place. Otherwise the current config file is getting more and more convoluted. I also find it a bit problematic that some settings do not belong to a table. I believe tables like [client], [main], [server], [history], … would be beneficial.

I can also help with the new settings, but no decisions have been made regarding format and architecture.

If the decision re format has been made, I can create a preliminary mapping between old and new format (for discussion), and we can go from there.