enabled it to use Japanese
added coq IDE
added some paths