New dosurvey feature

dosurvey now keeps track of which pulsars are already discovered by a
sequence of surveys-> get number of new pulsars in future surveys