[HistoryView] Discard raw history data immediately

Meaning data is stored in self.plotData so the raw data isn't
needed.
[HistoryView] Fix a typo in a comment
[HistoryView] Cosmetic fix
[HistoryView] Add a slider to select time range

Reloading missing history data isn't implemented yet.
[HistoryView] Untabify
[HistoryView] Extract slider related code from drawGraph() to drawSlider()
[HistoryView] Add margin around the time range slider
[HistoryView] Add missing Math.floor()
[HatoholMonitoringView] Add a function to disable auto reload
[HistoryView] Enable to reload missing history data on changing the time range by the slider
[HistoryView] Enable to select past 7 days
[HistoryView] Declare local variables at top of functions
[HistoryView] Remove a needless brace
[HistoryView] Remove a needless property "sliderTimeRange"

Use "timeRange" in drawSlider() instead.
[HistoryView] Add tick labels to the time range slider

I use jQuery-ui-Slider-Pips to realize it:

http://simeydotme.github.io/jQuery-ui-Slider-Pips/

License: MIT
[HistoryView] Reduce the side margin of the time range slider
[HistoryView] remove needless code
[HistoryView] Add a toggle button to enable/disable auto refresh
[HistoryView] Keep previous time span on turning on the auto refresh
[HistoryView] Fix tick labels of the time range slider

Show the full date when the date isn't in the current week.