Updated settings.java and idevenv.java

Added auto backup function under ~/.docbak (is hidden). Improved the
properties file. Changed the GUI.