The juricas-system: new applications and future developments