Changeable lib output

We needed to put the output library (.ctree) file in a different place, so we added an attribute to the strj-lib macro. The attribute has a default value equal to its old value, so existing users are not affected.