‘Star Wars Episode VII’ finally gets its name