initial commit
Merge https://github.com/jonas-meng/tools