Add list_subseteq_dec

I am not sure where to put this instance in this file. The best place would probably be after elem_of_list_dec, but there the Decision instance for Forall is not yet there.