bash scripts Contains scripts to : launch jobs remotely compile from scratch without removing build and devel directory convert videos etc...