Linear stability of a binary fluid layer with freezing