Split date & unixtime REST API.

Send token in request is the value to be converted, e.g. /date/1380589774 will reply with "Mon Sep 30 20:09:34 CDT 2013" (adjusting for time zone).
Merge branch 'master' into dev
Added plugin code.
Fixed time stamp mixup.
Merge branch 'plugins' into dev
Worked on warnings.
Moved plugin path to variable.
Added plugin path to Console.java.
Updated Android App for changes to GenericServer core code.