Regulate disk space usage by users

• Script to purge core files: jupyterhub-clean-disk
• Run that script automatically
• Limit core dump size with ulimit
• Force cores to be called 'core' rather than 'core.*'. Also easier for students.
• Monitor disk usage
• Send regular automatic e-mails to users about their current usage
• Reduce disk waste by user-side package managers (yarn!)