AUSTIN — Texas’ labor market achieved a new record high in October for number of people in the civilian labor force. After adding 47,300 people over the …