修改了目录结构

取消了proof、translating目录。直接在sources目录里面进行翻译、校对。