Massive import: import all files from batchOS

* import all files from old batch repo
* don't import gitattributes/gitignore files (for now)