Fix #7: add a profile picture
This involves file uploading, so the changes are quite large.