employ miniturized version javascript library files

Currently thirdparty Java Script library files the application depends on are in the fully expanded form, along with comments embedded in the files.  Long variable names and embedded comments are perfectly suited for debugging, tracing and understanding of how the code works. They add unnecessary burden to transmission over the internet and cause long response time.  This PR aims at switching to the miniaturized counter part of these library files.