#179 Implemented Edit_Source.js and Remove_synonym.js, fixed bug in Add_synonym.js