* [Relay][Keras] force const dtype to be float32

* fix pylint

* Enhanced simplification rules for Div by a positive constant

* Fixed my last commit to correctly interpret TVM's division as truncated division

* Fixed implemenation of IntSet::can_prove_non_positive()

* addressed comments by @yzhliu

* addressed comments by @sgrechanik-h

* addressed more comments by @yzhliu

* Fix clock type in rpc_session timer

* Fix lint error

* [TOPI] Add roi align

* Refactor bilinear in image resize

* Rename to roi_align_nchw

* Fix

* Add cast op
* Rename dtype_cast to cast
* Add additional safety check for String2TVMType
* Add missing relay op docs

dtype of count is the same as dtype of inputs[0] when created, but its type may
  change when multiplied by inputs[0]->shape[i]. Which causes dtype of
  output is not same as dtype of input.

* add ssd ops to mxnet.py

* add ssd ops to mxnet.py

* add result check for multibox and nms unit tests

* add result check for multibox and nms unit tests

* address @kevinthesun's comments

* Disable cuda test for nms for now.

typo "@func myfunc" => "func @myfunc"

Dtype of output of pad should follows input, but if dtype of input is not float,
  output will still be float becase pad_value is float.

* Add MXNet test example for relay
* Fix a bug in BiasAddSimplifier

* Add Eddie to committer

* Fix order