use $_SERVER['REQUEST_TIME_FLOAT'] for global script timer, closes #308
added mbstring check, closes #309
added docs
added escape parameters to url functions, closes #306