Docker Issue: I have no name

[Yuoto]

Currently, due to the NIS settings in BOLEDU servers, HLS02 - HLS04 cannot fetch user ids in docker environment.
Any command in docker environment involving the use of ssh will not work.
Hence we recommend the following work around flow for FINN:

1. Use jupyter notebook & Build hardware in any of the servers (not restricted to HLS01, since HLS01 is very busy now.)
2. For the pynq deployment part (i.e. any command using ssh in docker environment), switch to HLS01 server instead. You don't need to re-build hardware this time since the built files were kept in NAS, independent of the server you use. You can directly run the pynq deployment part in jupyter notebook.