Release NonSem-v1.2.5

This release is an unfinished release, which means it might contain useless codes and bugs. However, as we know, there are no serious bugs that affect user experience, so it's okay if you still want to use this release due to its new features. Also, this will be the last version that supports Internet Explorer.