Simplificando o código do TASLock
Algumas correções

- O main agora recebe os parametros da linha de comando
- O tempo de espera do time bounded test é parametrizado
- Removido a opção de escolha não aleatória (não é pedido na questão)