Fix #827 Sysinfo display of Server vs. Local time

- Modified Sysinfo to use user_time() from MY_date_helper to display the
local time
- Used the format string support in PHP's date() function to format the
server time (as opposed to the manual formatting that was used
previously)
- Used a single format string (assigned to a variable) to ensure both
times are formatted the same way