Take margin into account when calculating Window height. Fixes bug in multiline prompt.
Take margin into account when calculating Window height. Fixes bug in multiline prompt.

melund/python-prompt-toolkit,jonathanslenders/python-prompt-toolkit