Rename opensource.md to why3_opensource.md