Merge pull request #52 from nodemcu/dev094

replace custom stdarg.h header file with the one in gcc toolchain
Changed unmatched documents. Not firmware update.

Swapped GPIO4 and GPIO5 in documents to match current software.
add rtc time