DOC List happy as dependency

Add instructions for installing happy on Ubuntu.