Many companies restrict access to 8080 websites from corporate networks.
In order to open http://ci.tvm.ai:8080 people need to switch to phone wifi, Guest wifi or use http proxy servers listening on port 80.
Can we make developers life easier by hosting http://ci.tvm.ai on port 80?
@tqchen