Bot for assigning Reddit flair on /r/tagpro