modified init-theme.el to use the dark theme, add auctex package in elpa and add init-local.el for my own configuration