Automatic jenkins test job of simtrace2

Auto-generated using Jenkins Job Builder. DO NOT EDIT MANUALLY!