An introduction to the Hobby-Eberly Telescope Dark Energy Experiment