Tweak powerline height depending on the window-system

Windows: 18
Others: 17