fixed errors in miller-rabin and fermat test -> adapted to UI changes
code-deduplication
moved string resources in layouts into strings.xml