Added auctex package list; added new command to navigate projects