Former Everton FC defender Craig Short appointed Notts County manager