Merge pull request #13 from RongtongJin/master

[ISSUE #12] Expose port in playdocker.sh and fix typo about dledger