Resolve "make user library compilation optional and update ARM support"

Ramon Nourequested to merge
rnou/330-make-user-library-compilation-optional into master

Closes #330 (closed)

Merge request reports