add solarized dark theme, modify some files to my preference