UX improvements

Changelog

UX

• Larger font in notifications
• Notice (notification) about the "Toggle edit mode" button
• New "Delete motor program" button
• Download and delete buttons disabled if no sequences are available
• Deleting digits in the sequence length field from the right-most digit does not trigger sequence resizing
• Local installation instructions

Other

• Deployment pipeline not triggered on gitlab.com
• metadata section in exported json files with software and date_time entries/sub-sections