Add Isabelle, version 2014
Merge pull request #6060 from ndr-qef/isabelle

Add Isabelle, version 2014
updated sogouinput to version 3.0.0
Merge pull request #6061 from pan-long/sogouinput-update

updated sogouinput to version 3.0.0