Students who withdraw their proposal will now be removed from the ranker. And therefore don't influence the ranking of other proposals anymore. Patch by: Lennard de Rijk Reviewed by: to-be-reviewed

# Primary owners
arb
bslatkin
guido

# Backup
kgibbs