Rename option and env var for DTH port

- Rename '--port' to '--dth-port'
- Rename 'KRE_COMPILATION_SERVER_PORT' to 'KRE_DTH_SERVER'

parent #538 

@davidfowl @loudej , please help to review at your earliest convenience.