update trepl rockspec