Prorroga o prazo para o exercício do direito de opção atribuído pelo n.º 3 do artigo 7.º do Decreto-Lei n.º 515/80, de 31 de Outubro (pessoal civil que transitou para a INDEP)