EditSession : truncate `scrollLeft` and `scrollTop` from the proxy `toInt()` always

They are almost always int coming from javascript, but I have seen cases
in my console while paging really large files where ace.js gives us a
double and we get errors; this fixes that