install -> push; add sync- version of push/pull
reorganize general setting into pre-/post-package-load.el; update color themes