Itaca: a Fully Software GNSS Receiver Platform for Innovation Development