Allow PLT destination to be specified

This is to make it easier to run dialyzer with a fresh-plt, from build-bot.