Reset favico on unloading. Should resolve bookmark favicon issue.

See https://github.com/ejci/favico.js/issues/23 for detail
Merge pull request #131 from lorenzhs/fixfavico

Reset favico on unloading. Should resolve bookmark favicon issue.
Merge pull request #132 from lorenzhs/fixmobile

Fix display on mobile
Fetch more lines on request
Fix scrolling issue and reduce the number of scrolling events on startup

Don't trigger scrolling on each line when batch loading lines
Dynamically load lines for each buffer on startup

Add setting for number of lines to fetch initally.

TODO: styling
Fix issue with incorrect read marker on startup
Make the code a little prettier
Remove setting and calculate number of lines from display properties