Summer: A  User's Guide