graveyard for outdated code
Merge branch 'oop' of https://github.com/euba/BacArena
Merge branch 'sybil' of https://github.com/euba/BacArena
Merge branch 'master' of https://github.com/euba/BacArena into sybil
Merge branch 'sybil' of https://github.com/euba/BacArena into sybil
del latex tmp stuff