Adicionadas as bibliotecas do mutex que já foram testadas com o prodcons.c do italo, esperando o commit do italo para testar no repositorio.